1. (inr $\cdot$ ) = (inl $\cdot$ )
\\[0ex]2. 1 = 0
\\[0ex]$\vdash$  False